apply_filter

function apply_filter(instances: list<instance>, filter: I_by_attribute, from: p_from): (results: list<instance>, p_from?)